Waszniowski, Libor: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Case study on distributed and fault tolerant system modeling based on timed automata

Libor Waszniowski, Jan Krákora, Zdeněk Hanzálek

Journal:

Journal of Systems and Software

Year:

2009

Language:

english

File:

PDF, 1.20 MB

english, 2009

2

Analysis of OSEK/VDX Based Automotive Applications

Libor Waszniowski,, Zdenek Hanzalek,

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 7.92 MB

english, 2004

3

Formal verification of multitasking applications based on timed automata model

Libor Waszniowski, Zdeněk Hanzálek

Journal:

Real-Time Systems

Year:

2008

Language:

english

File:

PDF, 1.77 MB

english, 2008

4

[American Institute of Aeronautics and Astronautics AIAA Modeling and Simulation Technologies Conference and Exhibit - Honolulu, Hawaii ()] AIAA Modeling and Simulation Technologies Conference and Exhibit - Validation of Yaw Damper Controller via Hardware in the Loop Simulation

Doubrava, Jiri, Waszniowski, Libor, Hanzalek, Zdenek

Year:

2008

Language:

english

File:

PDF, 610 KB

english, 2008

5

[American Institute of Aeronautics and Astronautics AIAA Modeling and Simulation Technologies Conference - Chicago, Illinois ()] AIAA Modeling and Simulation Technologies Conference - Hardware in the Loop Simulation of FBW Components

Hanzalek, Zdenek, Hospodar, Pavel, Hromcik, Martin, Waszniowski, Libor, Doubrava, Jiri

Year:

2009

Language:

english

File:

PDF, 1016 KB

english, 2009

6

[IEEE 2007 IEEE International Parallel and Distributed Processing Symposium - Long Beach, CA, USA (2007.03.26-2007.03.30)] 2007 IEEE International Parallel and Distributed Processing Symposium - Integrated Environment for Embedded Control Systems Design

Bartosinski, Roman, Hanzalek, Zdenek., Struzka, Petr, Waszniowski, Libor

Year:

2007

Language:

english

File:

PDF, 7.93 MB

english, 2007

7

Aircraft Control System Validation via Hardware-in-the-Loop Simulation

Waszniowski, Libor, Hanzálek, Zdenek, Doubrava, Jirí

Journal:

Journal of Aircraft

Year:

2011

Language:

english

File:

PDF, 2.61 MB

english, 2011

8

TIMED AUTOMATA MODEL OF PREEMPTIVE MULTITASKING APPLICATIONS

Waszniowski, Libor, Hanzalek, Zdenek

Journal:

IFAC Proceedings Volumes

Year:

2005

Language:

english

File:

PDF, 554 KB

english, 2005

9

[American Institute of Aeronautics and Astronautics AIAA Modeling and Simulation Technologies Conference - Toronto, Ontario, Canada ()] AIAA Modeling and Simulation Technologies Conference - Design and Validation of the Flight Recovery Control System

Hanzalek, Zdenek, Hospodar, Pavel, Hromcik, Martin, Waszniowski, Libor, Doubrava, Jiri

File:

PDF, 962 KB